<title>[HNOI2012]集合选数</title><link href="http://hzoi.com/tomorrow.css" rel="stylesheet"><div class="ui existing segment"><pre><code><span class="pl-cp">#include</span> <span class="pl-cpf">&lt;cstdio&gt;</span><span class="pl-cp"></span>
<span class="pl-cp">#include</span> <span class="pl-cpf">&lt;cstring&gt;</span><span class="pl-cp"></span>
<span class="pl-cp">#include</span> <span class="pl-cpf">&lt;algorithm&gt;</span><span class="pl-cp"></span>
<span class="pl-k">typedef</span> <span class="pl-kt">long</span> <span class="pl-kt">long</span> <span class="pl-n">LL</span><span class="pl-p">;</span>
<span class="pl-k">const</span> <span class="pl-kt">int</span> <span class="pl-n">maxm</span> <span class="pl-o">=</span> <span class="pl-mf">1e5</span> <span class="pl-o">+</span> <span class="pl-mi">10</span><span class="pl-p">,</span> <span class="pl-n">maxn</span> <span class="pl-o">=</span> <span class="pl-mi">20</span> <span class="pl-o">+</span> <span class="pl-mi">10</span><span class="pl-p">,</span> <span class="pl-n">MOD</span> <span class="pl-o">=</span> <span class="pl-mi">1000000001</span><span class="pl-p">;</span>
<span class="pl-kt">int</span> <span class="pl-n">f</span><span class="pl-p">[</span><span class="pl-n">maxn</span><span class="pl-p">][</span><span class="pl-n">maxm</span><span class="pl-p">],</span> <span class="pl-n">lmt</span><span class="pl-p">[</span><span class="pl-n">maxm</span><span class="pl-p">],</span><span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">maxn</span><span class="pl-p">][</span><span class="pl-n">maxn</span><span class="pl-p">],</span><span class="pl-n">vis</span><span class="pl-p">[</span><span class="pl-n">maxm</span><span class="pl-p">],</span><span class="pl-n">bin</span><span class="pl-p">[</span><span class="pl-n">maxm</span><span class="pl-p">],</span> <span class="pl-n">n</span><span class="pl-p">;</span>
<span class="pl-n">LL</span> <span class="pl-n">ans</span> <span class="pl-o">=</span> <span class="pl-mi">1</span><span class="pl-p">;</span>
<span class="pl-kt">int</span> <span class="pl-nf">dp</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">x</span><span class="pl-p">){</span>
    <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">i</span> <span class="pl-o">=</span> <span class="pl-mi">1</span><span class="pl-p">;</span><span class="pl-n">i</span> <span class="pl-o">&lt;=</span> <span class="pl-mi">18</span><span class="pl-p">;</span><span class="pl-n">i</span><span class="pl-o">++</span><span class="pl-p">)</span><span class="pl-n">lmt</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-mi">0</span><span class="pl-p">;</span>
    <span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-mi">1</span><span class="pl-p">][</span><span class="pl-mi">1</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-n">x</span><span class="pl-p">;</span>
    <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">i</span> <span class="pl-o">=</span> <span class="pl-mi">2</span> <span class="pl-p">;</span><span class="pl-n">i</span> <span class="pl-o">&lt;=</span> <span class="pl-mi">18</span><span class="pl-p">;</span><span class="pl-n">i</span><span class="pl-o">++</span><span class="pl-p">)</span>
        <span class="pl-k">if</span><span class="pl-p">(</span><span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span> <span class="pl-o">-</span> <span class="pl-mi">1</span><span class="pl-p">][</span><span class="pl-mi">1</span><span class="pl-p">]</span> <span class="pl-o">*</span> <span class="pl-mi">2</span> <span class="pl-o">&lt;=</span> <span class="pl-n">n</span><span class="pl-p">)</span><span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-mi">1</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span> <span class="pl-o">-</span> <span class="pl-mi">1</span><span class="pl-p">][</span><span class="pl-mi">1</span><span class="pl-p">]</span> <span class="pl-o">*</span> <span class="pl-mi">2</span><span class="pl-p">;</span>
        <span class="pl-k">else</span> <span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-mi">1</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-n">n</span> <span class="pl-o">+</span> <span class="pl-mi">1</span><span class="pl-p">;</span>
    <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">i</span> <span class="pl-o">=</span> <span class="pl-mi">1</span> <span class="pl-p">;</span><span class="pl-n">i</span> <span class="pl-o">&lt;=</span> <span class="pl-mi">18</span> <span class="pl-p">;</span><span class="pl-n">i</span><span class="pl-o">++</span><span class="pl-p">)</span>
        <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">j</span> <span class="pl-o">=</span> <span class="pl-mi">2</span><span class="pl-p">;</span><span class="pl-n">j</span> <span class="pl-o">&lt;=</span> <span class="pl-mi">11</span> <span class="pl-p">;</span><span class="pl-n">j</span><span class="pl-o">++</span><span class="pl-p">)</span>
            <span class="pl-k">if</span><span class="pl-p">(</span><span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-n">j</span> <span class="pl-o">-</span> <span class="pl-mi">1</span><span class="pl-p">]</span> <span class="pl-o">*</span> <span class="pl-mi">3</span> <span class="pl-o">&lt;=</span> <span class="pl-n">n</span><span class="pl-p">)</span><span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-n">j</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-n">j</span> <span class="pl-o">-</span> <span class="pl-mi">1</span><span class="pl-p">]</span> <span class="pl-o">*</span> <span class="pl-mi">3</span><span class="pl-p">;</span>
            <span class="pl-k">else</span> <span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-n">j</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-n">n</span> <span class="pl-o">+</span> <span class="pl-mi">1</span><span class="pl-p">;</span>
    <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">i</span> <span class="pl-o">=</span> <span class="pl-mi">1</span><span class="pl-p">;</span><span class="pl-n">i</span> <span class="pl-o">&lt;=</span> <span class="pl-mi">18</span><span class="pl-p">;</span><span class="pl-n">i</span><span class="pl-o">++</span><span class="pl-p">)</span>
        <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">j</span> <span class="pl-o">=</span> <span class="pl-mi">1</span><span class="pl-p">;</span><span class="pl-n">j</span> <span class="pl-o">&lt;=</span> <span class="pl-mi">11</span><span class="pl-p">;</span><span class="pl-n">j</span><span class="pl-o">++</span><span class="pl-p">)</span>
            <span class="pl-k">if</span><span class="pl-p">(</span><span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-n">j</span><span class="pl-p">]</span> <span class="pl-o">&lt;=</span> <span class="pl-n">n</span><span class="pl-p">)</span> <span class="pl-n">lmt</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">]</span> <span class="pl-o">+=</span> <span class="pl-n">bin</span><span class="pl-p">[</span><span class="pl-n">j</span><span class="pl-o">-</span><span class="pl-mi">1</span><span class="pl-p">]</span> <span class="pl-p">,</span> <span class="pl-n">vis</span><span class="pl-p">[</span><span class="pl-n">mtx</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-n">j</span><span class="pl-p">]]</span> <span class="pl-o">=</span> <span class="pl-mi">1</span><span class="pl-p">;</span>
    <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">i</span> <span class="pl-o">=</span> <span class="pl-mi">0</span><span class="pl-p">;</span><span class="pl-n">i</span> <span class="pl-o">&lt;=</span> <span class="pl-mi">18</span><span class="pl-p">;</span><span class="pl-n">i</span><span class="pl-o">++</span><span class="pl-p">)</span>
        <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">j</span> <span class="pl-o">=</span> <span class="pl-mi">0</span><span class="pl-p">;</span><span class="pl-n">j</span> <span class="pl-o">&lt;=</span> <span class="pl-n">lmt</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">];</span><span class="pl-n">j</span><span class="pl-o">++</span><span class="pl-p">)</span>
            <span class="pl-n">f</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-n">j</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-mi">0</span><span class="pl-p">;</span>
    <span class="pl-n">f</span><span class="pl-p">[</span><span class="pl-mi">0</span><span class="pl-p">][</span><span class="pl-mi">0</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-mi">1</span><span class="pl-p">;</span>
    <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">i</span> <span class="pl-o">=</span> <span class="pl-mi">0</span><span class="pl-p">;</span><span class="pl-n">i</span> <span class="pl-o">&lt;=</span> <span class="pl-mi">18</span><span class="pl-p">;</span><span class="pl-n">i</span><span class="pl-o">++</span><span class="pl-p">)</span>
        <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">j</span> <span class="pl-o">=</span> <span class="pl-mi">0</span><span class="pl-p">;</span><span class="pl-n">j</span> <span class="pl-o">&lt;=</span> <span class="pl-n">lmt</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">];</span><span class="pl-n">j</span><span class="pl-o">++</span><span class="pl-p">)</span>
            <span class="pl-k">if</span><span class="pl-p">(</span><span class="pl-n">f</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-n">j</span><span class="pl-p">])</span>
                <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">k</span> <span class="pl-o">=</span> <span class="pl-mi">0</span><span class="pl-p">;</span><span class="pl-n">k</span> <span class="pl-o">&lt;=</span> <span class="pl-n">lmt</span><span class="pl-p">[</span><span class="pl-n">i</span> <span class="pl-o">+</span> <span class="pl-mi">1</span><span class="pl-p">];</span><span class="pl-n">k</span><span class="pl-o">++</span><span class="pl-p">)</span>
                    <span class="pl-k">if</span><span class="pl-p">(</span><span class="pl-o">!</span><span class="pl-p">(</span><span class="pl-n">j</span> <span class="pl-o">&amp;</span> <span class="pl-n">k</span><span class="pl-p">)</span> <span class="pl-o">&amp;&amp;</span> <span class="pl-p">(</span><span class="pl-o">!</span><span class="pl-p">(</span><span class="pl-n">k</span> <span class="pl-o">&amp;</span> <span class="pl-p">(</span><span class="pl-n">k</span> <span class="pl-o">&lt;&lt;</span> <span class="pl-mi">1</span><span class="pl-p">))))</span>
                        <span class="pl-n">f</span><span class="pl-p">[</span><span class="pl-n">i</span> <span class="pl-o">+</span> <span class="pl-mi">1</span><span class="pl-p">][</span><span class="pl-n">k</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-p">(</span><span class="pl-n">f</span><span class="pl-p">[</span><span class="pl-n">i</span> <span class="pl-o">+</span> <span class="pl-mi">1</span><span class="pl-p">][</span><span class="pl-n">k</span><span class="pl-p">]</span> <span class="pl-o">+</span> <span class="pl-n">f</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">][</span><span class="pl-n">j</span><span class="pl-p">])</span> <span class="pl-o">%</span> <span class="pl-n">MOD</span><span class="pl-p">;</span>
    <span class="pl-k">return</span> <span class="pl-n">f</span><span class="pl-p">[</span><span class="pl-mi">18</span><span class="pl-p">][</span><span class="pl-mi">0</span><span class="pl-p">];</span>
<span class="pl-p">}</span>
<span class="pl-kt">int</span> <span class="pl-nf">main</span><span class="pl-p">(){</span>
    <span class="pl-n">scanf</span><span class="pl-p">(</span><span class="pl-s">&quot;%d&quot;</span><span class="pl-p">,</span><span class="pl-o">&amp;</span><span class="pl-n">n</span><span class="pl-p">);</span>
    <span class="pl-n">bin</span><span class="pl-p">[</span><span class="pl-mi">0</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-mi">1</span><span class="pl-p">;</span>
    <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">i</span> <span class="pl-o">=</span> <span class="pl-mi">1</span><span class="pl-p">;</span><span class="pl-n">i</span> <span class="pl-o">&lt;=</span> <span class="pl-n">n</span><span class="pl-p">;</span><span class="pl-n">i</span><span class="pl-o">++</span><span class="pl-p">)</span><span class="pl-n">bin</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">]</span> <span class="pl-o">=</span> <span class="pl-n">bin</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-o">-</span><span class="pl-mi">1</span><span class="pl-p">]</span> <span class="pl-o">&lt;&lt;</span> <span class="pl-mi">1</span><span class="pl-p">;</span>
    <span class="pl-k">for</span><span class="pl-p">(</span><span class="pl-kt">int</span> <span class="pl-n">i</span> <span class="pl-o">=</span> <span class="pl-mi">1</span><span class="pl-p">;</span><span class="pl-n">i</span> <span class="pl-o">&lt;=</span> <span class="pl-n">n</span><span class="pl-p">;</span><span class="pl-n">i</span><span class="pl-o">++</span><span class="pl-p">)</span>
        <span class="pl-k">if</span><span class="pl-p">(</span><span class="pl-o">!</span><span class="pl-n">vis</span><span class="pl-p">[</span><span class="pl-n">i</span><span class="pl-p">])</span> <span class="pl-n">ans</span> <span class="pl-o">=</span> <span class="pl-p">(</span><span class="pl-n">ans</span> <span class="pl-o">*</span> <span class="pl-n">dp</span><span class="pl-p">(</span><span class="pl-n">i</span><span class="pl-p">))</span> <span class="pl-o">%</span> <span class="pl-n">MOD</span><span class="pl-p">;</span> 
    <span class="pl-n">printf</span><span class="pl-p">(</span><span class="pl-s">&quot;%lld</span><span class="pl-se">\n</span><span class="pl-s">&quot;</span><span class="pl-p">,</span><span class="pl-n">ans</span><span class="pl-p">);</span>
    <span class="pl-k">return</span> <span class="pl-mi">0</span><span class="pl-p">;</span>
<span class="pl-p">}</span>
</cpde></pre></div>